
Inductive Hello := World | Bye.
